Functional languages - PDFSEARCH.IO - Document Search Engine

Functional languages
Results: 3400

#	Item
541	Umbraco Contour 1.1 Developer Documentation Per Ploug HansenContains information for developers working with and extending Umbraco Contour Add to Reading List Source URL: nightly.umbraco.org Language: English - Date: 2014-08-05 08:35:55 Markup languages Functional languages Umbraco Workflow technology XSLT Workflow XPath Microsoft Visual Studio Computing Web standards XML
542	Lisp in Summer Projects Submission Submission Date:57:57 Full Name Add to Reading List Source URL: lispinsummerprojects.org Language: English - Date: 2014-07-29 16:18:58 Functional languages Lisp programming language Clojure Lisp Read–eval–print loop Object-oriented programming JavaScript Computing Software engineering Computer programming
543	Lisp in Summer Projects Submission Submission Date:13:06 Full Name Add to Reading List Source URL: lispinsummerprojects.org Language: English - Date: 2014-07-29 16:18:58 Functional languages Lisp Software development Eval Algorithm Software development methodology Data mining Genera Computing Software Lisp programming language
544	Umbraco Contour 1.1 Developer Documentation Per Ploug HansenContains information for developers working with and extending Umbraco Contour Add to Reading List Source URL: nightly.umbraco.org Language: English - Date: 2012-11-15 08:51:03 Markup languages Functional languages Umbraco Workflow technology XSLT Workflow XPath Microsoft Visual Studio Computing Web standards XML
545	Perception of English Prominence by Native Mandarin Chinese Speakers Andrew Rosenberg1 , Julia Hirschberg2, Kim Manis3 1 Computer Science Department, Queens College CUNY, New York, USA 2 Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2010-08-19 12:49:11 Languages of Oceania Phonetics Tone Prosody Systemic functional linguistics Pitch accent Intonation Stress ToBI Linguistics Languages of Africa Phonology
546	Ambivalent Types for Principal Type Inference with GADTs APLAS 2013, Melbourne Jacques Garrigue & Didier R´ Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2013-12-10 00:25:45 Type theory Procedural programming languages Functional languages Data types Type systems Type inference ALGOL 68 OCaml Hindley–Milner Software engineering Programming language theory Computing
547	A Guide to Data Centri c Func ti ons CompositeComposite A/S Nygårdsvej 16 DK-2100 Copenhagen Add to Reading List Source URL: docs.composite.net Language: English - Date: 2011-03-16 09:04:39 Scripting languages Filter theory XSLT Null Filter AS/400 Control Language XML Data-centric programming language EMML Computing Markup languages Functional languages
548	The Ciao Approach to the Dynamic vs. Static Language Dilemma (Position/System/Demo Paper1 ) M. V. Hermenegildo1,2 F. Bueno1 M. Carro1 P. L´opez-Garc´ıa2,4 E. Mera3 J. F. Morales2 G. Puebla1 1 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-01-16 04:21:35 Programming paradigms Type theory Functional languages Logic in computer science Ciao Assertion Constraint programming Type system Programming language Software engineering Computing Computer programming
549	Scribble: Closing the Book on Ad Hoc Documentation Tools Matthew Flatt Eli Barzilay Robert Bruce Findler Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-05-11 21:04:51 Functional languages Lisp programming language String Racket Technical communication Scheme Here document Literate programming Eval Computing Software engineering Computer programming
550	Formal verification of a realistic compiler Xavier Leroy INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: cristal.inria.fr Language: English - Date: 2009-04-07 07:40:29 Compilers Programming language implementation Functional languages Formal methods Compiler correctness Compiler Compcert Xavier Leroy Code generation Software Computing Compiler construction

UPDATE